ASM Foundations of Database Management
نویسندگان
چکیده
Database structuring is well understood since decades. The operating of databases has been based in the past on temporal logics and did not yet get an easy to understand formal underpinning. Therefore, conceptions like transaction and recovery are mainly discussed at the logical or operational level. This paper shows that database structuring and functionality can be defined within a uniform language. We base database semantical on the operational semantics of abstract state machines (ASM). This uniform mechanism allows to define the structuring, the functionality, the distribution and the interactivity of a database system in a way that supports abstract consideration at various layers of abstraction, that supports refinement of specifications to more detailed ones and that support proof of properties. 1 Adequacy and Deficiencies of Database Technology 1.1 Strength and Weaknesses of Database Technology Database systems are currently broadly used for support of data-intensive services. These broad usage is based on advantages such as the following: Consistent storage of data: Data are uniquely stored in the most actual version. Each user gets the same data. Inconsistency can be avoided. Furthermore, redundancy can be reduced and standards can be enforced. Multi-user support: Data can be consistently shared among different users. Also, conflicting requirements can be balanced. Security is enforced by restricting and managing access to data. Data can be consistently distributed within a network. Integration into component-ware: Currently, database systems are turned into middle-ware components in information-intensive applications. Database operating is based on the transaction paradigm. A transaction is a logical unit of work. Database systems are designed to support transactions. Nevertheless, database engines do not completely support complex applications such as internet services, real-time applications, stream information systems and web information systems. LNBIP 5, Springer, 2008, 318-331
منابع مشابه
ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project
Validation of complex bulk application specifications has always been a challenge. It is usually pursued by implementing a prototype. This is particularly the case when developing complex, informationintensive web applications, e.g. eGovernment or e-learning. Valuable resources are thus invested, often just in order to realise the incorrectness of the specification. An alternative would be a sp...
متن کاملQuo Vadis Abstract State Machines? J.UCS Special Issue
In introducing this special ASM issue of J.UCS we point out the particular role this Journal played in the short history of the ASM method and add some reflections on its current status. 1 J.UCS and the ASM Method The Journal of Universal Computer Science has marked some important steps of the development of the Abstract State Machines (ASM) method for a rigorous design and the mathematical ana...
متن کاملA Practical Course on KIV
State Machines and ASM refinement Abstract State Machines (ASMs) are a formalism to model algorithms in a simple, but formally defined way. ASMs originally were the result of theoretical research into the foundations of computation: The idea was to sharpen the thesis by Church and Turing, which says that all definitions of “algorithm” are equivalent (and equivalent to the computations of a Turi...
متن کاملLogical Foundations of Database Transformations for Complex-Value Databases
Database transformations consist of queries and updates which are two fundamental types of computations in any databases the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. In the theoretical studies of database transformations, considerable effort has been directed towards exploiting the close ties betwe...
متن کاملToward Industrial Strength Abstract State Machines?
A powerful practical ASM language, called AsmL, is being developed in Microsoft Research by the group on Foundations of Software Engineering. AsmL extends the language of original ASMs in a number of directions. We describe some of these extensions. ? This paper was supposed to appear in the Proceedings of the ASM'01 Workshop held in February 2001 on the Canary Islands. The Proceedings were sup...
متن کامل